Add precision on overriding a repository [patch]
authorGuillaume Gomez <guillaume1.gomez@gmail.com>
Sat, 9 Dec 2017 15:30:25 +0000 (16:30 +0100)
committerGuillaume Gomez <guillaume1.gomez@gmail.com>
Fri, 5 Jan 2018 20:37:32 +0000 (21:37 +0100)
commitb21dce3513d5fc4cbe12d7c203fc761cd378c666
tree1055065226f8f1ab89b2e2dc63303ffe73167688
parenta44612f2d420dca53a17ebb5d95fd0cd94f48d81
Add precision on overriding a repository [patch]
src/doc/src/reference/specifying-dependencies.md